Known vulnerabilities in Canonical Ltd. coq-mtac2 (Ubuntu package) 1.4+8.17-1build1

1.4+8.20-1build6 1.4+8.20-1build5 1.4+8.20-1build4 1.4+8.20-1build3 1.4+8.20-1build2 1.4+8.20-1build1 1.4+8.20-1 1.4+8.19-3 1.4+8.19-2build3 1.4+8.19-2build2 1.4+8.19-2build1 1.4+8.19-2 1.4+8.19-1build2 1.4+8.19-1build1 1.4+8.19-1 1.4+8.18-1build3 1.4+8.18-1build2 1.4+8.18-1build1 1.4+8.18-1 1.4+8.17-1build5 1.4+8.17-1build4 1.4+8.17-1build3 1.4+8.17-1build2 1.4+8.17-1build1 1.4+8.17-1 1.4+8.16-2build3 1.4+8.16-2build2 1.4+8.16-2build1 1.4+8.16-2 1.4+8.16-1build2 1.4+8.16-1build1 1.4+8.16-1 1.4+8.15-3 1.4+8.15-1 1.4+8.15-2